|
|
|
\require{AMSmath}
Reageren...
Re: Formule van euler (mooiste formule)
Hoe kan je algemeen bewijzen dat n·(n2+5) deelbaar is door 6 voor alle n die behoren tot de verzameling natuurlijke getallen? Ik heb geprobeerd via de methode van volledige inductie maar kom zo niet tot een algemeen bewijs.
Antwoord
Dag Benjamin,
Je kan dit inderdaad onder meer met inductie bewijzen. De basisstap is dan niet moeilijk: vul n=0 in en kijk na dat het resultaat deelbaar is door 6.
De inductiestap dan: je gaat er van uit dat n(n2+5) (laten we dit f(n) noemen) deelbaar is door 6. Je moet aantonen dat
f(n+1) = (n+1)((n+1)2+5) = (n+1)(n2+2n+6) = n3+2n2+6n+n2+2n+6 = n3+3n2+8n+6 deelbaar is door 6.
Nu kan je volgende truc gebruiken: er is een eigenschap die zegt dat als twee getallen deelbaar zijn door een getal a, dat dan de som, en ook het verschil van die twee getallen, deelbaar zijn door a. Als je dat hier toepast dan zal je wel inzien dat het voldoende is te bewijzen dat f(n+1)-f(n) deelbaar is door 6.
f(n+1)-f(n) = (n3+3n2+8n+6)-(n3+5n) = 3n2+3n+6
Je moet dus nog bewijzen dat 3n2+3n+6 deelbaar is door 6. (*) Dit is dan weer gelijkwaardig met: 3n2+3n = 3n(n+1) is deelbaar door 6. Dit is dan weer gelijkwaardig met: n(n+1) is deelbaar door 2 (zie je dat in?). En dat laatste blijkt dan altijd te kloppen (je kan namelijk twee gevallen onderscheiden: 'n is even' en 'n is oneven').
Als je dat laatste eerder lastig vond, dan kan je het stuk vanaf (*) ook anders doen, namelijk door weer met inductie te werken: is g(n)=3n2+3n+6 deelbaar door 6? Ja, want
- basisstap: g(0) is deelbaar door 6
- inductiestap: ga na dat g(n+1)-g(n) deelbaar is door 6. Dit komt dan heel mooi uit.
Groeten,
Christophe.
Gebruik dit formulier alleen om te reageren op de inhoud van de vraag en/of het
antwoord hierboven. Voor het stellen van nieuwe vragen kan je gebruik maken
van een vraag stellen in het menu aan de linker kant. Alvast bedankt!
|
